A. Grzegorczyk; "Undecidability without arithmetization"
https://scrapbox.io/files/64d75b05cbb10c001b0b5c1b.pdf
著者
Andrzej Grzegorczyk
メモ
連結の理論は不完全である．